lemma: 1) лемма, краткое введение или содержание (в начале литературного произведения); аннотация; тема; заглавие2) глосса, заметка на полях3) _мат. лемма4) _бот. нижняя цветковая чешуя
To prove Berge's lemma, we first need another lemma. Для доказательства леммы Берж нам сначала нужна другая лемма.
Let us now prove the contrapositive of Berge's lemma: G has a matching larger than M if and only if G has an augmenting path. Теперь мы можем доказать лемму Бержа от противного — граф G имеет паросочетание, большее чем у M тогда и только тогда, когда G имеет расширяющий путь.
By Berge's lemma, matching M is maximum if and only if there is no M-augmenting path in G. Hence, either a matching is maximum, or it can be augmented. По лемме Бержа, паросочетание M является наибольшим тогда и только тогда, когда нет M-увеличивающего пути в G. Следовательно, либо паросочетание является наибольшим, либо его можно увеличить.
Мобильная